Cornallis gracilipes Thomson, 1864

Type locality: Asia Orientalis (HT); MNHNP

Hyagnis sybroides Breuning, 1939c

Type locality: India: Sikkim (HT); MNHNP

Cornallis gracilipes Breuning, 1960a

Hyagnis bootangesnis Breuning, 1968g

Type locality: Bhutan: Maria-Basti (HT); MNHNP

Parasybrodiboma sikkimensis Breuning, 1969a

Diboma sybroides Breuning, 1975

Cornallis gracilipes Löbl & Smetana, 2010

Type locality: India: WB, Pedong (région de Darjeeling) (HT); MNHNP

India (Sikkim; WB: Darjeeling Distr.), Asian Oriental, Bhutan: Maria-Basti & Nepal